A Hybrid-Based Framework for Constraint Satisfaction Optimization Problems

نویسندگان

  • Wee-Kit Ho
  • Andrew Lim
چکیده

Scheduling and timetabling are commonly faced problems in most businesses and organizations. Both of these problems fall under the domain of constraint satisfaction optimization problems (CSOP), which involves finding a solution that satisfies all hard constraints, while at the same time maximizing some weighted sum of the soft constraints. Current constraint satisfaction techniques fare poorly in terms of soft constraints satisfied, while optimization techniques cannot ensure the feasibility of the final solution. In this paper, we propose a framework for CSOP that combines both constraint satisfaction and optimization techniques into a hybrid algorithm, called the combined method (CM). We test our framework on an exam-timetabling problem (ETTP) using actual data. Our results show that CM can be expected to produce better results than using a single technique alone.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

VNS/LDS+CP : A Hybrid Method for Constraint Optimization in Anytime Contexts

In many decision problems (planning, scheduling, resource allocation), the objective is to find a good solution which satisfies a set of hard (or imperative) constraints, and satisfies as well as possible a set of soft constraints expressing costs, utilities, preferences. Such problems can be referred to as Constraint Optimization Problems, and are often translated to Valued Constraint Satisfac...

متن کامل

Hybrid Tractable Classes of Constraint Problems

We present a survey of complexity results for hybrid constraint satisfaction problems (CSPs) and valued constraint satisfaction problems (VCSPs). These are classes of (V)CSPs defined by restrictions that are not exclusively language-based or structure-based. 1998 ACM Subject Classification F.4.1 Mathematical Logic, G.2.1 Combinatorics, G.2.2 Graph Theory, F.1.3 Complexity Measures and Classes, ...

متن کامل

Hybrid tractability of valued constraint problems

The constraint satisfaction problem (CSP) is a central generic problem in computer science and artificial intelligence: it provides a common framework for many theoretical problems as well as for many real-life applications. Soft constraint problems are a generalisation of the CSP which allow the user to model optimisation problems. Considerable effort has been made in identifying properties wh...

متن کامل

Hybrid tractability of soft constraint problems

The constraint satisfaction problem (CSP) is a central generic problem in computer science and artificial intelligence: it provides a common framework for many theoretical problems as well as for many real-life applications. Soft constraint problems are a generalisation of the CSP which allow the user to model optimisation problems. Considerable effort has been made in identifying properties wh...

متن کامل

Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics

The paper presents an iterative forward search framework for solving constraint satisfaction and optimization problems. This framework combines ideas of local search, namely improving a solution by local steps, with principles of depth-first search, in particular extending a partial feasible assignment towards a solution. Within this framework, we also propose and study a conflict-based statist...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001